1. Automated deduction in equational logic and cubic curves
Author: / W. McCune, R. Padmanabhan
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Automatic theorem proving.,Curves, Algebraic.
Classification :
QA
,
76
.
9
,.
A96
,
M38
,
1996
